University of Malta

Results: 238



#Item
11A Formal Model of Provenance in Distributed Systems Issam Souilah University of Southampton, UK Adrian Francalanza University of Malta, Malta

A Formal Model of Provenance in Distributed Systems Issam Souilah University of Southampton, UK Adrian Francalanza University of Malta, Malta

Add to Reading List

Source URL: staff.um.edu.mt

- Date: 2009-02-04 08:44:02
    12Assessing Design Patterns for Concurrency Fikre Leguesse Adrian Francalanza Department of Computer Science, ICT University of Malta {fleg0001,afra1}@um.edu.mt

    Assessing Design Patterns for Concurrency Fikre Leguesse Adrian Francalanza Department of Computer Science, ICT University of Malta {fleg0001,afra1}@um.edu.mt

    Add to Reading List

    Source URL: staff.um.edu.mt

    - Date: 2009-11-17 16:58:34
      13A Monitoring Tool for a Branching-Time Logic? Duncan Paul Attard and Adrian Francalanza CS, ICT, University of Malta, Malta {duncan.attard.01,adrian.francalanza}@um.edu.mt Abstract. We present the implementation of an e

      A Monitoring Tool for a Branching-Time Logic? Duncan Paul Attard and Adrian Francalanza CS, ICT, University of Malta, Malta {duncan.attard.01,adrian.francalanza}@um.edu.mt Abstract. We present the implementation of an e

      Add to Reading List

      Source URL: staff.um.edu.mt

      - Date: 2016-08-21 10:35:34
        14SMock — A Test Platform for Monitoring Tools? Christian Colombo1 , Ruth Mizzi1 and Gordon J. Pace1 Department of Computer Science, University of Malta {christian.colombo | rmiz0015 | gordon.pace}@um.edu.mt Abstract. I

        SMock — A Test Platform for Monitoring Tools? Christian Colombo1 , Ruth Mizzi1 and Gordon J. Pace1 Department of Computer Science, University of Malta {christian.colombo | rmiz0015 | gordon.pace}@um.edu.mt Abstract. I

        Add to Reading List

        Source URL: secure.um.edu.mt

        - Date: 2013-07-15 06:34:43
          15Google Maps:50 UNIVERSITY  OF  MALTA   VALLETTA  CAMPUS  

          Google Maps:50 UNIVERSITY  OF  MALTA   VALLETTA  CAMPUS  

          Add to Reading List

          Source URL: www.eurogeography.eu.gridhosted.co.uk

          - Date: 2014-10-27 11:12:11
            16Monitoring Distributed Systems with Distributed P OLY L ARVA Ian Cassar, Adrian Francalanza, Christian Colombo Faculty of ICT, CS Department University of Malta Emails: {ian.cassar.10, adrian.francalanza, christian.colom

            Monitoring Distributed Systems with Distributed P OLY L ARVA Ian Cassar, Adrian Francalanza, Christian Colombo Faculty of ICT, CS Department University of Malta Emails: {ian.cassar.10, adrian.francalanza, christian.colom

            Add to Reading List

            Source URL: staff.um.edu.mt

            - Date: 2014-04-03 02:01:14
              17PERMISSION-BASED SEPARATION LOGIC FOR MESSAGE-PASSING CONCURRENCY ADRIAN FRANCALANZA, JULIAN RATHKE, AND VLADIMIRO SASSONE ICT, University of Malta e-mail address: ECS, University of Southamp

              PERMISSION-BASED SEPARATION LOGIC FOR MESSAGE-PASSING CONCURRENCY ADRIAN FRANCALANZA, JULIAN RATHKE, AND VLADIMIRO SASSONE ICT, University of Malta e-mail address: ECS, University of Southamp

              Add to Reading List

              Source URL: staff.um.edu.mt

              - Date: 2011-05-16 14:07:07
                18A Theory of Monitors (Extended Abstract)? Adrian Francalanza CS, ICT, University of Malta, Msida, Malta Abstract. We develop a behavioural theory for monitors — software

                A Theory of Monitors (Extended Abstract)? Adrian Francalanza CS, ICT, University of Malta, Msida, Malta Abstract. We develop a behavioural theory for monitors — software

                Add to Reading List

                Source URL: staff.um.edu.mt

                - Date: 2016-01-26 03:09:20
                  19COMPOSITIONAL REASONING FOR EXPLICIT RESOURCE MANAGEMENT IN CHANNEL-BASED CONCURRENCY ADRIAN FRANCALANZA, EDSKO DEVRIES, AND MATTHEW HENNESSY ICT, University of Malta e-mail address: Well-Typ

                  COMPOSITIONAL REASONING FOR EXPLICIT RESOURCE MANAGEMENT IN CHANNEL-BASED CONCURRENCY ADRIAN FRANCALANZA, EDSKO DEVRIES, AND MATTHEW HENNESSY ICT, University of Malta e-mail address: Well-Typ

                  Add to Reading List

                  Source URL: staff.um.edu.mt

                  - Date: 2014-07-01 03:52:04
                    20Sonancia: Sonification of Procedurally Generated Game Levels Phil Lopes, Antonios Liapis and Georgios N. Yannakakis Institute of Digital Games, University of Malta, Msida, Malta louis.p.lopes; antonios.liapis; georgios.y

                    Sonancia: Sonification of Procedurally Generated Game Levels Phil Lopes, Antonios Liapis and Georgios N. Yannakakis Institute of Digital Games, University of Malta, Msida, Malta louis.p.lopes; antonios.liapis; georgios.y

                    Add to Reading List

                    Source URL: antoniosliapis.com

                    - Date: 2015-08-04 06:19:47